Comparison between Model Order Reductions Techniques
نویسنده
چکیده
This paper presents a comparison between model order reduction techniques. This comparison provides us a measure of the accuracy of the reduced system. By this comparison we come to know about the best method which can be used for model order reduction. In this paper we are also providing a comparison for stability of reduced system.
منابع مشابه
Comparison of acceleration techniques of analytical methods for solving differential equations of integer and fractional order
The work addressed in this paper is a comparative study between convergence of the acceleration techniques, diagonal pad'{e} approximants and shanks transforms, on Homotopy analysis method and Adomian decomposition method for solving differential equations of integer and fractional orders.
متن کاملTechniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions
In this work we propose techniques for efficient reachability analysis of the state space (e.g., detection of bad states) using a combination of partial order and symmetry based reductions in a distributed setting. The proposed techniques are focused towards explicit state space enumeration based model-checkers like SPIN. We consider variants for both depth-first as well as breadth-first based ...
متن کاملEnabling Efficient Partial Order Reductions for Model Checking Object-Oriented Programs Using Static Calculation of Program Dependences
In our previous work, we developed partial order reduction techniques that now form the core reduction strategies of several popular Java model checking frameworks including Bogor and JPF. These techniques work by dynamically collecting independence information needed to drive POR. In this paper, we consider several additional variants of partial order reductions and how independence informatio...
متن کاملAbstraction techniques for verification of multiple tightly coupled counters, registers and comparators
ion Techniques for Veri cation of Multiple Tightly Coupled Counters, Registers and Comparators Yee-Wing Hsieh Steven P. Levitan Department of Electrical Engineering Department of Electrical Engineering University of Pittsburgh University of Pittsburgh [email protected] [email protected] Abstract We present new non-deterministic nite state machine (NFSM) abstraction techniques for comparators ba...
متن کاملPartial Order Reductions for Security Protocol Verification
In this paper we explore partial order reduction that make the task of verifying cryptographic protocols more efficient. These reduction techniques have been implemented in our tool BRUTUS. Although we have implemented several reduction techniques in our tool BRUTUS, due to space restrictions in this paper we only focus on partial order reductions. Partial order reductions have proved very usef...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012